The Generation of DAML+OIL
نویسندگان
چکیده
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on the oil, but also has strong influences from the existing W3C efforts as well as input from DAML researchers. daml+oil pushes very close to the undecidability barrier. Developing effective reasoners for daml+oil will stress the capabilities of description logic researchers.
منابع مشابه
Generating Responses and Explanations from RDF/XML and DAML+OIL
The paper describes on-going work on generating dialogue responses on two levels: first, generation of factual responses from RDF/XML information; second, generation of meta-level explanations of an ontology’s structure from DAML+OIL domain ontologies. We also discuss ways to use an ontology to improve a current dialogue system’s responses, for example by identifying misconceptions.
متن کاملA Methodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL
The Gene Ontology Next Generation Project (GONG) is developing a staged methodology to evolve the current representation of the Gene Ontology into DAML+OIL in order to take advantage of the richer formal expressiveness and the reasoning capabilities of the underlying description logic. Each stage provides a step level increase in formal explicit semantic content with a view to supporting valida...
متن کاملChecking and Reasoning about Semantic Web through Alloy
Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. The Formal Methods community can also play an important role to contribute to SW development. Reasoning and consistency checking can be useful at many stages during the design, maintenance and deployment of SW ontology. However t...
متن کاملResults of Taxonomic Evaluation of RDF(S) and DAML+OIL ontologies using RDF(S) and DAML+OIL Validation Tools and Ontology Platforms import services
Before using RDF(S) and DAML+OIL ontologies in Semantic Web applications, its content should be evaluated from a knowledge representation point of view. In recent years, some RDF(S) and DAML+OIL ‘checkers’, ‘validators’, and ‘parsers’ have been created and several ontology platforms are able to import RDF(S) and DAML+OIL ontologies. Two are the experiments presented in this paper. The first one...
متن کاملDAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the ”Semantic Web”, extending syntactic interoperability to semantic interoperability by providing a source of shared and precisely defined terms. DAML+OIL is an ontology language specifically designed for use on the web; it exploits existing web standards (XML and RDF), adding the familiar ontological primitives of object oriented and frame based system...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001